Discovery and Reasoning in Mathematics
نویسنده
چکیده
We discuss the automation of mathematical reasoning, surveying the abilities displayed by human mathematicians and the computational techniques available for automating these abilities. We argue the importance of the simultaneous study of these techniques, because problems inherent in one technique can often be solved if it is able to interact with others.
منابع مشابه
Reasoning and intuiting the standards for judgments
What is the extension to which the act of reasoning and the standards of judgments are interrelated? The author, proposing Muslim scholars` views in the field and relying on traditions, ahadith, has concluded that firstly one has to answer the question: does the standard and expediency of Divine judgment lies in the judgment or in its object? The latter is signified, however, with view to so...
متن کاملApplying the GC Combined Reasoning Framework to Mathematical Discovery
In previous work, we have demonstrated how the GC combined reasoning framework has been used for mathematical discovery. However, the current approach has several limitations, for example a single basic representation scheme. By reference to a mathematics text book, we highlight some challenging aspects of mathematical discovery and comment on how characteristics of the GC approach provide usef...
متن کاملThe role of divided attention and working memory in mathematical reasoning with the mediation of mathematical knowledge and fluid intelligence in fourth grade elementary students
The purpose of the research is modeling the relationship between divided attention and working memory in mathematical reasoning with the mediation of mathematical knowledge and fluid intelligence in fourth grade elementary students. Statistical population of the research included all fourth grade male students of Primary schools in District 4 of Qom from which 213 students were randomly selecte...
متن کاملDeveloping a model to enhance elementary teachers’ ability to foster functional thinking and algebraic reasoning in elementary students
Abstract: This study explores the process of change of grades 3 to 5 elementary teachers, who participated in a professional development program "Algebraic Thinking: Foundation of Elementary Mathematics". Algebraic thinking as a functional thinking was the centerpiece of the program. The “Concern Base Adaptation Model” (CBAM) was used as methodology. The results of the study showed the signific...
متن کاملParaconsistent Reasoning Based on Strong Relevant Logic
1 This work is supported in part by The Ministry of Education, Culture, Sports, Science and Technology of Japan under Grant-in-Aid for Exploratory Research No. 09878061 and Grant-in-Aid for Scientific Research (B) No. 11480079. Abstract. Both a body of human knowledge and a knowledge/information system may be incomplete and inconsistent in many ways. Reasoning with incomplete and inconsistent k...
متن کاملThe False Discovery Rate in Simultaneous Fisher and Adjusted Permutation Hypothesis Testing on Microarray Data
Background and Objectives: In recent years, new technologies have led to produce a large amount of data and in the field of biology, microarray technology has also dramatically developed. Meanwhile, the Fisher test is used to compare the control group with two or more experimental groups and also to detect the differentially expressed genes. In this study, the false discovery rate was investiga...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1985